Search results for " Coarea formula"
showing 1 items of 1 documents
Area of intrinsic graphs and coarea formula in Carnot Groups
2020
AbstractWe consider submanifolds of sub-Riemannian Carnot groups with intrinsic $$C^1$$ C 1 regularity ($$C^1_H$$ C H 1 ). Our first main result is an area formula for $$C^1_H$$ C H 1 intrinsic graphs; as an application, we deduce density properties for Hausdorff measures on rectifiable sets. Our second main result is a coarea formula for slicing $$C^1_H$$ C H 1 submanifolds into level sets of a $$C^1_H$$ C H 1 function.